Electric field formulation for thin film magnetization problems

We derive a variational formulation for thin film magnetization problems in type-II superconductors written in terms of two variables, the electric field and the magnetization function. A numerical method, based on this formulation, makes it possible to accurately compute all variables of interest, including the electric field, for any value of the power in the power law current-voltage relation characterizing the superconducting material. For high power values we obtain a good approximation to the critical state model solution. Numerical simulation results are presented for simply and multiply connected films, and also for an inhomogeneous film.Comment: 15 p., submitte

Hidden innovation in the construction and property sectors

The construction and property industries have a poor reputation for innovation. Indeed, this reputation appears to be backed by official statistics which projects these industries as being devoid of innovative activity. However, the reputation is undeserved. Official statistics misrepresent the extent and nature of innovation in these sectors. A closer analysis reveals that much of the innovation that exists in the sector is hidden from conventional measures. By its nature therefore, it is difficult to measure the precise extent of this innovation and disaggregate it from general improvement. This opaqueness strengthens the need for policymakers, practitioners and researchers within, amongst others, the surveying sector to go beyond the visible spectrum of innovation and design and implement appropriate policies, knowledge bases and practices which engage and leverage the hitherto hidden aspects of innovation

The Vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency

Dynamic analysis of flexible rotor-bearing systems using a modal approach

The generalized dynamic equations of motion were obtained by the direct stiffness method for multimass flexible rotor-bearing systems. The direct solution of the equations of motion is illustrated on a simple 3-mass system. For complex rotor-bearing systems, the direct solution of the equations becomes very difficult. The transformation of the equations of motion into modal coordinates can greatly simplify the computation for the solution. The use of undamped and damped system mode shapes in the transformation are discussed. A set of undamped critical speed modes is used to transform the equations of motion into a set of coupled modal equations of motion. A rapid procedure for computing stability, steady state unbalance response, and transient response of the rotor-bearing system is presented. Examples of the application of this modal approach are presented. The dynamics of the system is further investigated with frequency spectrum analysis of the transient response

Development and evaluation of a device to simulate a sonic boom

A device to simulate the vibrational and acoustical properties of a sonic boom was developed and evaluated. The design employed a moving circular diaphragm which produced pressure variations by altering the volume of an air-tight enclosure that was located adjacent to an acoustical test chamber. A review of construction oriented problems, along with their solutions, is presented. The simulator is shown to produce the effects of sonic booms having pressure signatures with rise times as low as 5 milliseconds, durations as short as 80 milliseconds, and overpressures as high as 2.5 pounds per square foot. Variations in the signatures are possible by independent adjustments of the simulator. The energy spectral density is also shown to be in agreement with theory and with actual measurements for aircraft

Efficient quantum key distribution secure against no-signalling eavesdroppers

By carrying out measurements on entangled states, two parties can generate a secret key which is secure not only against an eavesdropper bound by the laws of quantum mechanics, but also against a hypothetical "post-quantum" eavesdroppers limited by the no-signalling principle only. We introduce a family of quantum key distribution protocols of this type, which are more efficient than previous ones, both in terms of key rate and noise resistance. Interestingly, the best protocols involve large number of measurements. We show that in the absence of noise, these protocols can yield one secret bit per entanglement bit, implying that the key rates in the no-signalling post-quantum scenario are comparable to the key rates in usual quantum key distribution.Comment: 11 pages, 2 color figures. v2: minor modifications, added references, added note on the relation to quant-ph/060604

Asymptotics of 10j symbols

The Riemannian 10j symbols are spin networks that assign an amplitude to each 4-simplex in the Barrett-Crane model of Riemannian quantum gravity. This amplitude is a function of the areas of the 10 faces of the 4-simplex, and Barrett and Williams have shown that one contribution to its asymptotics comes from the Regge action for all non-degenerate 4-simplices with the specified face areas. However, we show numerically that the dominant contribution comes from degenerate 4-simplices. As a consequence, one can compute the asymptotics of the Riemannian 10j symbols by evaluating a `degenerate spin network', where the rotation group SO(4) is replaced by the Euclidean group of isometries of R^3. We conjecture formulas for the asymptotics of a large class of Riemannian and Lorentzian spin networks in terms of these degenerate spin networks, and check these formulas in some special cases. Among other things, this conjecture implies that the Lorentzian 10j symbols are asymptotic to 1/16 times the Riemannian ones.Comment: 25 pages LaTeX with 8 encapsulated Postscript figures. v2 has various clarifications and better page breaks. v3 is the final version, to appear in Classical and Quantum Gravity, and has a few minor corrections and additional reference

The Toxoplasma gondii plastid replication and repair enzyme complex, PREX

A plastid-like organelle, the apicoplast, is essential to the majority of medically and veterinary important apicomplexan protozoa including Toxoplasma gondii and Plasmodium. The apicoplast contains multiple copies of a 35 kb genome, the replication of which is dependent upon nuclear-encoded proteins that are imported into the organelle. In P. falciparum an unusual multi-functional gene, pfprex, was previously identified and inferred to encode a protein with DNA primase, DNA helicase and DNA polymerase activities. Herein, we report the presence of a prex orthologue in T. gondii. The protein is predicted to have a bi-partite apicoplast targeting sequence similar to that demonstrated on the PfPREX polypeptide, capable of delivering marker proteins to the apicoplast. Unlike the P. falciparum gene that is devoid of introns, the T. gondii prex gene carries 19 introns, which are spliced to produce a contiguous mRNA. Bacterial expression of the polymerase domain reveals the protein to be active. Consistent with the reported absence of a plastid in Cryptosporidium species, in silico analysis of their genomes failed to demonstrate an orthologue of prex. These studies indicate that prex is conserved across the plastid-bearing apicomplexans and may play an important role in the replication of the plastid genome

Finiteness and Dual Variables for Lorentzian Spin Foam Models

We describe here some new results concerning the Lorentzian Barrett-Crane model, a well-known spin foam formulation of quantum gravity. Generalizing an existing finiteness result, we provide a concise proof of finiteness of the partition function associated to all non-degenerate triangulations of 4-manifolds and for a class of degenerate triangulations not previously shown. This is accomplished by a suitable re-factoring and re-ordering of integration, through which a large set of variables can be eliminated. The resulting formulation can be interpreted as a ``dual variables'' model that uses hyperboloid variables associated to spin foam edges in place of representation variables associated to faces. We outline how this method may also be useful for numerical computations, which have so far proven to be very challenging for Lorentzian spin foam models.Comment: 15 pages, 1 figur

How to measure the spreading width for decay of superdeformed nuclei

A new expression for the branching ratio for the decay via the E1 process in the normal-deformed band of superdeformed nuclei is given within a simple two-level model. Using this expression, the spreading or tunneling width Gamma^downarrow for superdeformed decay can be expressed entirely in terms of experimentally known quantities. We show how to determine the tunneling matrix element V from the measured value of Gamma^downarrow and a statistical model of the energy levels. The accuracy of the two-level approximation is verified by considering the effects of the other normal-deformed states.Comment: 4 pages, 4 figure